4 search results for "author:"https://github.com/Kakadu""
Showing 1 - 4
-
Generic programming with extensible transformations0.5.2LGPL-2.1-or-laterUsed by 4 other packages21 Aug 2023
-
Translator from subset of OCaml to OCanren0.3.0LGPL-2.1Used by 0 other packages03 May 2022
-
Implementation of miniKanren relational (logic) EDSL0.3.0LGPL-2.1Used by 2 other packages03 May 2022
-
Implementation of miniKanren relational (logic) EDSL: PPX extensions0.3.0LGPL-2.1Used by 2 other packages03 May 2022